| 1. Identificação | ||||
| Tipo de Referência | Artigo em Evento (Conference Proceedings) | |||
| Site | mtc-m16d.sid.inpe.br | |||
| Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S | |||
| Identificador | 8JMKD3MGP7W/3B6LN9P | |||
| Repositório | sid.inpe.br/mtc-m19/2012/01.11.14.05 | |||
| Última Atualização | 2012:01.11.14.07.59 (UTC) administrator | |||
| Repositório de Metadados | sid.inpe.br/mtc-m19/2012/01.11.14.05.50 | |||
| Última Atualização dos Metadados | 2018:06.05.04.35.40 (UTC) administrator | |||
| Chave Secundária | INPE--PRE/ | |||
| Chave de Citação | FerreiraNunFerAraVij:2010:InMéTe | |||
| Título | Integração de métodos de teste à ferramenta web-performcharts  | |||
| Ano | 2010 | |||
| Data de Acesso | 04 maio 2024 | |||
| Tipo Secundário | PRE CN | |||
| Número de Arquivos | 1 | |||
| Tamanho | 500 KiB | |||
| 2. Contextualização | ||||
| Autor | 1 Ferreira, Daniele Fernandes 2 Nunes, Mirian Karime Pieve 3 Ferreira, Érica 4 Arantes, Alessandro 5 Vijaykumar, Nandamudi Lankalapalli | |||
| Identificador de Curriculo | 1 2 3 4 5 8JMKD3MGP5W/3C9JHTU | |||
| Grupo | 1 2 3 LAC-CTE-INPE-MCT-BR 4 LAC-CTE-INPE-MCT-BR 5 LAC-CTE-INPE-MCT-BR | |||
| Afiliação | 1 Faculdade de Tecnologia de São José dos Campos - SP 2 Faculdade de Tecnologia de São José dos Campos - SP 3 Instituto Nacional de Pesquisas Espaciais (INPE) 4 Instituto Nacional de Pesquisas Espaciais (INPE) 5 Instituto Nacional de Pesquisas Espaciais (INPE) | |||
| Nome do Evento | Simpósio de Iniciação Científica e Tecnológica, 12. | |||
| Localização do Evento | São Paulo | |||
| Data | 2010 | |||
| Título do Livro | Anais | |||
| Histórico (UTC) | 2012-01-11 14:07:59 :: marciana -> administrator :: 2010 2018-06-05 04:35:40 :: administrator -> marciana :: 2010 | |||
| 3. Conteúdo e estrutura | ||||
| É a matriz ou uma cópia? | é a matriz | |||
| Estágio do Conteúdo | concluido | |||
| Transferível | 1 | |||
| Tipo do Conteúdo | External Contribution | |||
| Resumo | A WEB-PerformCharts é uma ferramenta de teste de software desenvolvida pelo Instituto Nacional de Pesquisas Espaciais (INPE) que possibilita a geração de casos de testes através da Internet. Esta ferramenta converte uma especificação em Statecharts [3], que é uma representação sintética de sistemas críticos e complexos, em uma Máquina de Estados Finitos (MEF) [1]. Os modelos de teste gerados a partir de sistemas críticos e complexos são amplos, o que complica o entendimento dos testadores. A técnica de Statecharts possibilita uma representação macro desses modelos, facilitando então o trabalho dos testadores. A ferramenta em questão foi criada de forma a automatizar os testes podendo realizá-los remotamente. Atualmente a WEB-PerformCharts realiza testes com base nos métodos Transition Tour (TT) e Switch Cover [1]. No entanto, os pesquisadores do INPE acreditam que os métodos Unique Input/Output (UIO) e Distinguishing Sequence (DS) [2] também devem ser integrados na ferramenta. Diante deste contexto, este trabalho tem como objetivo integrar os métodos DS e UIO à ferramenta WEB-PerformCharts. . | |||
| Área | COMP | |||
| Arranjo | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Integração de métodos... | |||
| Conteúdo da Pasta doc | acessar | |||
| Conteúdo da Pasta source | não têm arquivos | |||
| Conteúdo da Pasta agreement |
| |||
| 4. Condições de acesso e uso | ||||
| URL dos dados | http://urlib.net/ibi/8JMKD3MGP7W/3B6LN9P | |||
| URL dos dados zipados | http://urlib.net/zip/8JMKD3MGP7W/3B6LN9P | |||
| Arquivo Alvo | PIEVE.pdf | |||
| Grupo de Usuários | administrator marciana | |||
| Visibilidade | shown | |||
| Permissão de Leitura | allow from all | |||
| Permissão de Atualização | não transferida | |||
| 5. Fontes relacionadas | ||||
| Repositório Espelho | sid.inpe.br/mtc-m19@80/2009/08.21.17.02.53 | |||
| Unidades Imediatamente Superiores | 8JMKD3MGPCW/3ESGTTP | |||
| Lista de Itens Citando | sid.inpe.br/mtc-m21/2012/07.13.14.56.50 1 | |||
| Acervo Hospedeiro | sid.inpe.br/mtc-m19@80/2009/08.21.17.02 | |||
| 6. Notas | ||||
| Campos Vazios | archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi e-mailaddress edition editor electronicmailaddress format isbn issn keywords label language lineage mark nextedition notes numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress readergroup rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url versiontype volume | |||
| 7. Controle da descrição | ||||
| e-Mail (login) | marciana | |||
| atualizar | ||||